Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
21	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-23 09:01:50 Computing Concurrent computing Computer architecture Concurrency control Transaction processing Linearizability Shared register Queue FIFO Sequential consistency
22	Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:06 Concurrency Models of computation Petri nets Diagrams Software engineering Petri Theoretical computer science Metaphor
23	To appear in: Concurrency: Practice & Experience, Vol. 11, Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher Computer Science Department, University of K Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:30:03 Software engineering Computing Computer programming Object-oriented programming languages Object-oriented programming Concurrent programming languages Sun Microsystems Cross-platform software Java Constructor This Objective-C
24	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing Scope and history ISSN Add to Reading List Source URL: web.info.uvt.ro Language: English - Date: 2014-08-15 13:56:46 Computing Parallel computing Computer programming Concurrency computer science) Distributed computing Grid computing Computational science Computer cluster International Parallel and Distributed Processing Symposium Albert Zomaya
25	D THREADS: Efficient Deterministic Multithreading Tongping Liu, Charlie Curtsinger, and Emery D. Berger Department of Computer Science University of Massachusetts, Amherst Amherst, MA 01003 Add to Reading List Source URL: www.sigops.org Language: English - Date: 2011-09-11 16:39:33 Computing Concurrency control Computer programming Software engineering Parallel computing Software design patterns Edsger W. Dijkstra Concurrent computing Thread Synchronization Monitor Multithreading
26	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
27	To appear in: Concurrency: Practice & Experience, Vol. 11, More Ecient Serialization and RMI for Java Michael Philippsen, Bernhard Haumacher, and Christian Nester Computer Science Department, University of Karlsr Add to Reading List Source URL: www.haumacher.de Language: English - Date: 2009-01-31 15:30:23 Computing Java platform Inter-process communication Persistence Remote procedure call Middleware Serialization Distributed object communication Distributed object Java String interning Java remote method invocation
28	Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-10-24 15:53:22 Concurrent computing Computing Abstract data types Concurrency control Computer programming Linearizability Transaction processing Inter-process communication Queue FIFO XC Double-ended queue
29	Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-22 04:30:15 Mathematical logic Logic Theoretical computer science Logic in computer science Predicate logic Philosophical logic Automated theorem proving Logic programming Hoare logic Separation logic Unification Combinatory logic
30	Learning from Mistakes — A Comprehensive Study on Real World Concurrency Bug Characteristics Shan Lu, Soyeon Park, Eunsoo Seo and Yuanyuan Zhou Department of Computer Science, University of Illinois at Urbana Champaign Add to Reading List Source URL: web1.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Software engineering Computer programming Concurrency control Transaction processing Concurrency Data management Software bugs Thread Race condition Monitor Synchronization